201. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
202. Theoremus :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
203. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده : Jager, Gerhard
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
204. Theory of proofs
پدیدآورنده : Open University
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
O6
205. Tracking Reason
پدیدآورنده : \ Jody Azzouni.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
206. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
207. Tracking reason
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
208. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
209. Tracking reason :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
210. Tracking reason: proof, consequence, and truth
پدیدآورنده : Azzouni, Jody.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
211. Tracking reason : proof, consequence, and truth
پدیدآورنده : Azzouni, Jody, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
212. Transition to Analysis with Proof
پدیدآورنده : \ Steven G. Krantz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory -- Textbooks,Mathematical analysis -- Textbooks,آنالیز ریاضی -- کتابهای درسی
رده :
E-Book
,
213. Truth, Error, and Criminal Law
پدیدآورنده : / Larry Laudan
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mistake (Criminal law),Reasonable doubt,Burden of proof,Knowledge, Theory of,نظریه شناخت
رده :
K5083
.
L38
2008
214. Truth, error, and criminal law
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mistake (Criminal law) ; Reasonable doubt. ; Burden of proof. ; Knowledge, Theory of. ;
215. Truth, error, and criminal law : an essay in legal epistemology
پدیدآورنده : Laudan, Larry
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mistake )Criminal law(,، Reasonable doubt,، Burden of proof,، Knowledge, Theory of
رده :
K
5083
.
L33T7
216. Utilizing problem structure in planning : a local search approach
پدیدآورنده : Hoffmann, Jorg, 1791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Problem solving,، Proof theory,Methodology ، Planning
رده :
QA
76
.
L28
Vol
.
2854
217. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
218. #100 mathematical proof
پدیدآورنده : #Rowan Garnier, John Taylor
موضوع : Proof theory ،Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
219. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
220. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996